1. Duration calculus
پدیدآورنده: / Chaochen Zhou, Michael R. Hansen
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Real-time data processing,Formal methods (computer science),Mathematics -- Data processing
رده :
QA
76
.
54
.
Z46
2004
